Operational Semantics of Annotated Reflex Programs
نویسندگان
چکیده
منابع مشابه
Declarative and Operational Semantics for Bilattice-based Annotated Logic Programs
We introduce the class of normal bilattice-based annotated first-order logic programs (BAPs) and develop declarative and operational semantics for them. Thus, we discuss properties of the associated immediate consequence operators and establish their fixed-point theory. In addition, SLD-resolution for these programs is defined and its soundness and completeness established.
متن کاملOperational and Denotational Semantics of Rewrite Programs
In this paper we present a new operational and denotational semantics for rewrite systems as logic programs. The main feature of our rewrite programs is that they allow us to define predicates not only by implications as in Prolog, but also by equivalences. We give a few examples showing how rewrite programs may turn out to be more effective than Prolog programs in capturing the user’s intended...
متن کاملA Graph-Based Operational Semantics of OO Programs
We present a mathematical model of class graphs, object graphs and state graphs which naturally capture the essential oo features. A small-step operational semantics of oo programs is defined in the style of classical structural operational semantics, in which an execution step of a command is defined as a transition from one state graph to another obtained by simple operations on graphs. To va...
متن کاملOperational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (e.g., \freeze," suspension, residuation) cannot be fully declarative. Thus, an operational semantics has to be taken as the deening one. We give a formal operational semantics for a Prolog-like language with cut and entailment-based conditional. Our approach is derived from those used for concurrent calculi. We...
متن کاملA Deterministic Operational Semantics for Functional Logic Programs
This paper introduces a deterministic operational semantics for functional logic programs including notions like laziness, sharing, concurrency, non-deterministic functions, etc. Our semantic description is important not only to provide appropriate language definitions to reason about programs and check the correctness of implementations but it is also a basis to develop language-specific tools...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Modeling and Analysis of Information Systems
سال: 2019
ISSN: 2313-5417,1818-1015
DOI: 10.18255/1818-1015-2019-4-475-487